- interleaved subscript
- символ разбивки
English-Russian dictionary of Information technology. 2005.
English-Russian dictionary of Information technology. 2005.
C (programming language) — C The C Programming Language[1] (aka K R ) is the seminal book on C … Wikipedia
Promela — (Process or Protocol Meta Language) is a verification modeling language. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. In PROMELA models, communication via message channels can be … Wikipedia